1. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
المؤلف: / Bob Coecke, Luke Ong, Prakash Panangaden
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Computation, logic, games, and quantum foundations :
المؤلف: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
رده :
QA76
.
B633
2013
3. Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
المؤلف: Luke Ong )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3634
4. Foundations of Software Science and Computational Structures
المؤلف: / Luke Ong
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
5. Foundations of software science and computational structures
المؤلف: / Luke Ong (Ed.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: System analysis, Congresses
رده :
QA76
.
751
.
F67
2010
6. Logic, Language, Information and Computation
المؤلف: / Luke Ong, Ruy Queiroz
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
7. Logic, language, information and computation
المؤلف: Luke Ong, Ruy de Queiroz (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W64
2012eb
8. 28, 2010. Proceedings-Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20
المؤلف: / Colin Stirling (auth.), Luke Ong (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
9. 3, 2011. Proceedings-Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1
المؤلف: / Alexandre Miquel (auth.), Luke Ong (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
10. Typed Lambda Calculi and Applications
المؤلف: / Luke Ong
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
11. Typed lambda calculi and applications
المؤلف: [edited by]& Luke Ong
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع:
